The Probable Value of the Lovász--Schrijver Relaxations for Maximum Independent Set

نویسندگان

  • Uriel Feige
  • Robert Krauthgamer
چکیده

Lovász and Schrijver [LS91] devised a lift-and-project method that produces a sequence of convex relaxations for the problem of finding in a graph an independent set(or a clique) of maximum size. Each relaxation in the sequence is tighter than the one before it, while the first relaxation is already at least as strong as the Lovász theta function [Lov79]. We show that on a random graph Gn,1/2, the value of the rth relaxation in the sequence is roughly √ n/2r, almost surely. It follows that for those relaxations known to be efficiently computable, namely for r = O(1), the value of the relaxation is comparable to the theta function. Furthermore, a perfectly tight relaxation is almost surely obtained only at the r = Θ(logn) relaxation in the sequence.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Tighter Linear and Semidefinite Relaxations for Max-cut Based on the Lovász–schrijver Lift-and-project Procedure∗

We study how the lift-and-project method introduced by Lovász and Schrijver [SIAM J. Optim., 1 (1991), pp. 166–190] applies to the cut polytope. We show that the cut polytope of a graph can be found in k iterations if there exist k edges whose contraction produces a graph with no K5-minor. Therefore, for a graph G with n ≥ 4 nodes with stability number α(G), n − 4 iterations suffice instead of ...

متن کامل

Some advances on Lovász-Schrijver semidefinite programming relaxations of the fractional stable set polytope

We study Lovász and Schrijver’s hieararchy of relaxations based on positive semidefiniteness constraints derived from the fractional stable set polytope. We show that there are graphsG for which a single application of the underlying operator, N+, to the fractional stable set polytope gives a nonpolyhedral convex relaxation of the stable set polytope. We also show that none of the current best ...

متن کامل

Subset Algebra Lift Operators for 0-1 Integer Programming

We extend the Sherali-Adams, Lovász-Schrijver, Balas-Ceria-Cornuéjols and Lasserre lift-and-project methods for 0-1 optimization by considering liftings to subset algebras. Our methods yield polynomialtime algorithms for solving a relaxation of a set-covering problem at least as strong as that given by the set of all valid inequalities with small coefficients, and, more generally, all valid ine...

متن کامل

Block-diagonal semidefinite programming hierarchies for 0/1 programming

Lovász and Schrijver, and later Lasserre, proposed hierarchies of semidefinite programming relaxations for 0/1 linear programming problems. We revisit these two constructions and propose two new, blockdiagonal hierarchies, which are at least as strong as the Lovász–Schrijver hierarchy, but less costly to compute. We report experimental results for the stable set problem of Paley graphs. © 2008 ...

متن کامل

A Comparison of the Sherali-Adams, Lovász-Schrijver, and Lasserre Relaxations for 0-1 Programming

Sherali and Adams [SA90], Lovász and Schrijver [LS91] and, recently, Lasserre [Las01b] have proposed lift and project methods for constructing hierarchies of successive linear or semidefinite relaxations of a 0 − 1 polytope P ⊆ Rn converging to P in n steps. Lasserre’s approach uses results about representations of positive polynomials as sums of squares and the dual theory of moments. We prese...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • SIAM J. Comput.

دوره 32  شماره 

صفحات  -

تاریخ انتشار 2003